Extracting Functional and Non-functional Contracts from Java Classes and Enterprise Java Beans
نویسندگان
چکیده
We explore possibility of manual and automated contract extraction from Java classes and Enterprise Java Beans. Contracts are extended component interfaces that are defined using Contract Definition Language. They describe functional and non-functional properties. We examine how to extract hidden contracts and express them formally,modeling software components as abstract machines, hoping to achieve increased dependability at the early phases of the software development lifecycle, and to support easy and safe reuse of components later. Indexed terms: contracts, components, composition, reuse, formal specification
منابع مشابه
Aspects of Enterprise Java Beans
Enterprise Java Beans (EJB), a specification for a Java component framework recently released by Sun Microsystems, immediately attracted attention of several major software vendors, including IBM, Oracle and Sybase. Analysts agree that EJB has a potential to replace CORBA as a standard for enterprise level applications. Aspect Oriented Programming fits naturally into EJB paradigm, but requires ...
متن کاملFrappé: Functional Reactive Programming in Java
Functional Reactive Programming (FRP) is a declarative programming model for constructing interactive applications based on a continuous model of time. FRP programs are described in terms of behaviors (continuous, timevarying, reactive values), and events (conditions that occur at discrete points in time). This paper presents Frappé, an implementation of FRP in the Java progamming language. The...
متن کاملThe Potential of Tropical Agro-Industrial by-Products as a Functional Feed for Poultry
Following the ban of synthetic antibiotics as antimicrobial agents and growth promoters, poultry nutritionists are now trying to find antibiotic substitutes. Agro-industrial by-products are abundant in tropical countries and have been used as the alternatives to conventional feedstuffs in poultry rations. These by-products are also known to contain several bioactive compounds such as oligosacch...
متن کاملDatabase Access with EJB Application Servers Performance Study
Enterprise Java Beans (EJB) [6] is a server-side component architecture that simplifies the process of building enterprise-class distributed component applications in Java. This component technology originally proposed by SUN Microsystem is agreed upon by the industry, supports portability and rapid development of server side applications. EJB components (enterprise beans) are deployed within a...
متن کاملTemplate Driven Performance Modeling of Enterprise Java Beans
System designers find it difficult to obtain insight into the potential performance, and performance problems, of enterprise applications based on component technologies like Enterprise Java Beans (EJBs) or .NET. One problem is the presence of layered resources, which have complicated effects on bottlenecks. Layered queueing network (LQN) performance models are able to capture these effects, an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004